#ifndef __INTERVALFR__
#define __INTERVALFR__

template<class I>
inline I intervalFromReals(double a, double b);

#endif
